Terms of logic like 'all' and 'some' can be understood in relation to one another purely in thought. Individual objects of which one becomes aware by sense perception are not objects of pure thought. Hence they cannot be uniquely named. Since Aristotelian and mathematical logic deals with pure thought alone there are no singular terms in either of them. The individual constants of mathematical logic are not objects of sense perception. In Nyaya and Buddhist logic singular terms are indispensable, because (...) inference does not deal with pure thought, but with knowledge which includes both thought and sense perception. (shrink)